ソフトウェアの基礎理論④ 非決定性並列プログラムのモデル――OSに現われる非決定性並列プログラムを記述できるモデルを紹介する